Search Result for "parallel reduction":

The Free On-line Dictionary of Computing (30 December 2018):

parallel reduction A form of applicative order reduction in which all redexes in an expression are reduced simultaneously. Variants include parallel outermost reduction and lenient reduction. See normal order reduction.